$\forall$${\it es}$:ES, $X$, $Y$:AbsInterface(Top). (E($X$) $\subseteq$r E($Y$)) $\Leftarrow\!\Rightarrow$ strong{-}subtype(E($X$);E($Y$))